echo "Benchmark: Lily-System"
python acacia_plus.py --ltl examples/demo-lily/demo-v1.ltl --part examples/demo-lily/demo-v1.part -C BOTH -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v2.ltl --part examples/demo-lily/demo-v2.part -C BOTH -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v3.ltl --part examples/demo-lily/demo-v3.part -C BOTH -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v4.ltl --part examples/demo-lily/demo-v4.part -C BOTH -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v5.ltl --part examples/demo-lily/demo-v5.part -C BOTH -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v6.ltl --part examples/demo-lily/demo-v6.part -C BOTH -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v7.ltl --part examples/demo-lily/demo-v7.part -C BOTH -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v8.ltl --part examples/demo-lily/demo-v8.part -C BOTH -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v9.ltl --part examples/demo-lily/demo-v9.part -C BOTH -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v10.ltl --part examples/demo-lily/demo-v10.part -C BOTH -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v11.ltl --part examples/demo-lily/demo-v11.part -C BOTH -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v12.ltl --part examples/demo-lily/demo-v12.part -C BOTH -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v13.ltl --part examples/demo-lily/demo-v13.part -C BOTH -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v14.ltl --part examples/demo-lily/demo-v14.part -C BOTH -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v15.ltl --part examples/demo-lily/demo-v15.part -C BOTH -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v16.ltl --part examples/demo-lily/demo-v16.part -C BOTH -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v17.ltl --part examples/demo-lily/demo-v17.part -C BOTH -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v18.ltl --part examples/demo-lily/demo-v18.part -C BOTH -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v19.ltl --part examples/demo-lily/demo-v19.part -C BOTH -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v20.ltl --part examples/demo-lily/demo-v20.part -C BOTH -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v21.ltl --part examples/demo-lily/demo-v21.part -C BOTH -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v22.ltl --part examples/demo-lily/demo-v22.part -C BOTH -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v23.ltl --part examples/demo-lily/demo-v23.part -C BOTH -v 3
echo ""

echo "Benchmark: Lily-Environment"
python acacia_plus.py --ltl examples/demo-lily/demo-v1.ltl --part examples/demo-lily/demo-v1.part -C BOTH -p 1 -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v2.ltl --part examples/demo-lily/demo-v2.part -C BOTH -p 1 -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v3.ltl --part examples/demo-lily/demo-v3.part -C BOTH -p 1 -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v4.ltl --part examples/demo-lily/demo-v4.part -C BOTH -p 1 -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v5.ltl --part examples/demo-lily/demo-v5.part -C BOTH -p 1 -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v6.ltl --part examples/demo-lily/demo-v6.part -C BOTH -p 1 -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v7.ltl --part examples/demo-lily/demo-v7.part -C BOTH -p 1 -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v8.ltl --part examples/demo-lily/demo-v8.part -C BOTH -p 1 -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v9.ltl --part examples/demo-lily/demo-v9.part -C BOTH -p 1 -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v10.ltl --part examples/demo-lily/demo-v10.part -C BOTH -p 1 -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v11.ltl --part examples/demo-lily/demo-v11.part -C BOTH -p 1 -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v12.ltl --part examples/demo-lily/demo-v12.part -C BOTH -p 1 -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v13.ltl --part examples/demo-lily/demo-v13.part -C BOTH -p 1 -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v14.ltl --part examples/demo-lily/demo-v14.part -C BOTH -p 1 -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v15.ltl --part examples/demo-lily/demo-v15.part -C BOTH -p 1 -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v16.ltl --part examples/demo-lily/demo-v16.part -C BOTH -p 1 -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v17.ltl --part examples/demo-lily/demo-v17.part -C BOTH -p 1 -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v18.ltl --part examples/demo-lily/demo-v18.part -C BOTH -p 1 -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v19.ltl --part examples/demo-lily/demo-v19.part -C BOTH -p 1 -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v20.ltl --part examples/demo-lily/demo-v20.part -C BOTH -p 1 -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v21.ltl --part examples/demo-lily/demo-v21.part -C BOTH -p 1 -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v22.ltl --part examples/demo-lily/demo-v22.part -C BOTH -p 1 -v 3
python acacia_plus.py --ltl examples/demo-lily/demo-v23.ltl --part examples/demo-lily/demo-v23.part -C BOTH -p 1 -v 3
echo ""

echo "Benchmark: Buffer"
python acacia_plus.py --ltl examples/buffer/gb_s2_r2.ltl --part examples/buffer/gb_s2_r2.part -n COMP --syn COMP -v 3
python acacia_plus.py --ltl examples/buffer/gb_s2_r3.ltl --part examples/buffer/gb_s2_r3.part -n COMP --syn COMP -v 3
python acacia_plus.py --ltl examples/buffer/gb_s2_r4.ltl --part examples/buffer/gb_s2_r4.part -n COMP --syn COMP -v 3
python acacia_plus.py --ltl examples/buffer/gb_s2_r5.ltl --part examples/buffer/gb_s2_r5.part -n COMP --syn COMP -v 3
python acacia_plus.py --ltl examples/buffer/gb_s2_r6.ltl --part examples/buffer/gb_s2_r6.part -n COMP --syn COMP -v 3
python acacia_plus.py --ltl examples/buffer/gb_s2_r7.ltl --part examples/buffer/gb_s2_r7.part -n COMP --syn COMP -v 3

echo "Benchmark: Load-Balancing-System"
python acacia_plus.py --ltl examples/LoadBalancing/load-balancing/load_full_2.ltl --part examples/LoadBalancing/load-balancing/load_full_2.part -n COMP --syn COMP -v 3
python acacia_plus.py --ltl examples/LoadBalancing/load-balancing/load_full_3.ltl --part examples/LoadBalancing/load-balancing/load_full_3.part -n COMP --syn COMP -v 3
python acacia_plus.py --ltl examples/LoadBalancing/load-balancing/load_full_4.ltl --part examples/LoadBalancing/load-balancing/load_full_4.part -n COMP --syn COMP -v 3
python acacia_plus.py --ltl examples/LoadBalancing/load-balancing/load_full_5.ltl --part examples/LoadBalancing/load-balancing/load_full_5.part -n COMP --syn COMP -v 3
python acacia_plus.py --ltl examples/LoadBalancing/load-balancing/load_full_6.ltl --part examples/LoadBalancing/load-balancing/load_full_6.part -n COMP --syn COMP -v 3

echo "Benchmark: Load Balancing-Environment"
python acacia_plus.py --ltl examples/LoadBalancing/load-balancing-environment/load_2c_comp.ltl --part examples/LoadBalancing/load-balancing-environment/load_2c_comp.part -n COMP --syn COMP -p 1 -v 3
python acacia_plus.py --ltl examples/LoadBalancing/load-balancing-environment/load_3c_comp.ltl --part examples/LoadBalancing/load-balancing-environment/load_3c_comp.part -n COMP --syn COMP -p 1 -v 3
python acacia_plus.py --ltl examples/LoadBalancing/load-balancing-environment/load_4c_comp.ltl --part examples/LoadBalancing/load-balancing-environment/load_4c_comp.part -n COMP --syn COMP -p 1 -v 3
python acacia_plus.py --ltl examples/LoadBalancing/load-balancing-environment/load_5c_comp.ltl --part examples/LoadBalancing/load-balancing-environment/load_5c_comp.part -n COMP --syn COMP -p 1 -v 3

echo "Benchmark: LTL2DBA"
python acacia_plus.py --ltl examples/LTL2DBA/ltl2dba_01.ltl --part examples/LTL2DBA/ltl2dba_01.part -a BACK -t LTL3BA -v 3
python acacia_plus.py --ltl examples/LTL2DBA/ltl2dba_02.ltl --part examples/LTL2DBA/ltl2dba_02.part -a BACK -t LTL3BA  -v 3
python acacia_plus.py --ltl examples/LTL2DBA/ltl2dba_03.ltl --part examples/LTL2DBA/ltl2dba_03.part -a BACK -t LTL3BA -v 3
python acacia_plus.py --ltl examples/LTL2DBA/ltl2dba_04.ltl --part examples/LTL2DBA/ltl2dba_04.part -a BACK -t LTL3BA -v 3
python acacia_plus.py --ltl examples/LTL2DBA/ltl2dba_05.ltl --part examples/LTL2DBA/ltl2dba_05.part -a BACK -t LTL3BA -v 3
python acacia_plus.py --ltl examples/LTL2DBA/ltl2dba_06.ltl --part examples/LTL2DBA/ltl2dba_06.part -a BACK -t LTL3BA -v 3
python acacia_plus.py --ltl examples/LTL2DBA/ltl2dba_07.ltl --part examples/LTL2DBA/ltl2dba_07.part -a BACK -t LTL3BA -v 3
python acacia_plus.py --ltl examples/LTL2DBA/ltl2dba_08.ltl --part examples/LTL2DBA/ltl2dba_08.part -a BACK -t LTL3BA -v 3
python acacia_plus.py --ltl examples/LTL2DBA/ltl2dba_09.ltl --part examples/LTL2DBA/ltl2dba_09.part -a BACK -t LTL3BA -v 3
python acacia_plus.py --ltl examples/LTL2DBA/ltl2dba_10.ltl --part examples/LTL2DBA/ltl2dba_10.part -a BACK -t LTL3BA -v 3
python acacia_plus.py --ltl examples/LTL2DBA/ltl2dba_11.ltl --part examples/LTL2DBA/ltl2dba_11.part -a BACK -t LTL3BA -v 3
python acacia_plus.py --ltl examples/LTL2DBA/ltl2dba_12.ltl --part examples/LTL2DBA/ltl2dba_12.part -a BACK -t LTL3BA -v 3
python acacia_plus.py --ltl examples/LTL2DBA/ltl2dba_13.ltl --part examples/LTL2DBA/ltl2dba_13.part -a BACK -t LTL3BA -v 3
python acacia_plus.py --ltl examples/LTL2DBA/ltl2dba_14.ltl --part examples/LTL2DBA/ltl2dba_14.part -a BACK -t LTL3BA -v 3
python acacia_plus.py --ltl examples/LTL2DBA/ltl2dba_15.ltl --part examples/LTL2DBA/ltl2dba_15.part -a BACK -t LTL3BA -v 3
python acacia_plus.py --ltl examples/LTL2DBA/ltl2dba_16.ltl --part examples/LTL2DBA/ltl2dba_16.part -a BACK -t LTL3BA -v 3
python acacia_plus.py --ltl examples/LTL2DBA/ltl2dba_17.ltl --part examples/LTL2DBA/ltl2dba_17.part -a BACK -t LTL3BA -v 3
python acacia_plus.py --ltl examples/LTL2DBA/ltl2dba_18.ltl --part examples/LTL2DBA/ltl2dba_18.part -a BACK -t LTL3BA -v 3
python acacia_plus.py --ltl examples/LTL2DBA/ltl2dba_19.ltl --part examples/LTL2DBA/ltl2dba_19.part -a BACK -t LTL3BA -v 3
python acacia_plus.py --ltl examples/LTL2DBA/ltl2dba_20.ltl --part examples/LTL2DBA/ltl2dba_20.part -a BACK -t LTL3BA -v 3
python acacia_plus.py --ltl examples/LTL2DBA/ltl2dba_21.ltl --part examples/LTL2DBA/ltl2dba_21.part -a BACK -t LTL3BA -v 3
python acacia_plus.py --ltl examples/LTL2DBA/ltl2dba_22.ltl --part examples/LTL2DBA/ltl2dba_22.part -a BACK -t LTL3BA -v 3
python acacia_plus.py --ltl examples/LTL2DBA/ltl2dba_23.ltl --part examples/LTL2DBA/ltl2dba_23.part -a BACK -t LTL3BA -v 3
python acacia_plus.py --ltl examples/LTL2DBA/ltl2dba_24.ltl --part examples/LTL2DBA/ltl2dba_24.part -a BACK -t LTL3BA -v 3
python acacia_plus.py --ltl examples/LTL2DBA/ltl2dba_25.ltl --part examples/LTL2DBA/ltl2dba_25.part -a BACK -t LTL3BA -v 3
python acacia_plus.py --ltl examples/LTL2DBA/ltl2dba_26.ltl --part examples/LTL2DBA/ltl2dba_26.part -a BACK -t LTL3BA -v 3

echo "Benchmark: LTL2DPA"
python acacia_plus.py --ltl examples/LTL2DPA/ltl2dpa_01.ltl --part examples/LTL2DPA/ltl2dpa_01.part -a BACK -t LTL3BA  -v 3 
python acacia_plus.py --ltl examples/LTL2DPA/ltl2dpa_02.ltl --part examples/LTL2DPA/ltl2dpa_02.part -a BACK -t LTL3BA   -v 3 
python acacia_plus.py --ltl examples/LTL2DPA/ltl2dpa_03.ltl --part examples/LTL2DPA/ltl2dpa_03.part -a BACK -t LTL3BA  -v 3 
python acacia_plus.py --ltl examples/LTL2DPA/ltl2dpa_04.ltl --part examples/LTL2DPA/ltl2dpa_04.part -a BACK -t LTL3BA  -v 3 
python acacia_plus.py --ltl examples/LTL2DPA/ltl2dpa_05.ltl --part examples/LTL2DPA/ltl2dpa_05.part -a BACK -t LTL3BA  -v 3 
python acacia_plus.py --ltl examples/LTL2DPA/ltl2dpa_06.ltl --part examples/LTL2DPA/ltl2dpa_06.part -a BACK -t LTL3BA  -v 3 
python acacia_plus.py --ltl examples/LTL2DPA/ltl2dpa_07.ltl --part examples/LTL2DPA/ltl2dpa_07.part -a BACK -t LTL3BA   -v 3
python acacia_plus.py --ltl examples/LTL2DPA/ltl2dpa_08.ltl --part examples/LTL2DPA/ltl2dpa_08.part -a BACK -t LTL3BA   -v 3
python acacia_plus.py --ltl examples/LTL2DPA/ltl2dpa_09.ltl --part examples/LTL2DPA/ltl2dpa_09.part -a BACK -t LTL3BA   -v 3
python acacia_plus.py --ltl examples/LTL2DPA/ltl2dpa_10.ltl --part examples/LTL2DPA/ltl2dpa_10.part -a BACK -t LTL3BA   -v 3
python acacia_plus.py --ltl examples/LTL2DPA/ltl2dpa_11.ltl --part examples/LTL2DPA/ltl2dpa_11.part -a BACK -t LTL3BA   -v 3
python acacia_plus.py --ltl examples/LTL2DPA/ltl2dpa_12.ltl --part examples/LTL2DPA/ltl2dpa_12.part -a BACK -t LTL3BA   -v 3
python acacia_plus.py --ltl examples/LTL2DPA/ltl2dpa_13.ltl --part examples/LTL2DPA/ltl2dpa_13.part -a BACK -t LTL3BA   -v 3
python acacia_plus.py --ltl examples/LTL2DPA/ltl2dpa_14.ltl --part examples/LTL2DPA/ltl2dpa_14.part -a BACK -t LTL3BA   -v 3
python acacia_plus.py --ltl examples/LTL2DPA/ltl2dpa_15.ltl --part examples/LTL2DPA/ltl2dpa_15.part -a BACK -t LTL3BA   -v 3
python acacia_plus.py --ltl examples/LTL2DPA/ltl2dpa_16.ltl --part examples/LTL2DPA/ltl2dpa_16.part -a BACK -t LTL3BA   -v 3
python acacia_plus.py --ltl examples/LTL2DPA/ltl2dpa_17.ltl --part examples/LTL2DPA/ltl2dpa_17.part -a BACK -t LTL3BA   -v 3
python acacia_plus.py --ltl examples/LTL2DPA/ltl2dpa_18.ltl --part examples/LTL2DPA/ltl2dpa_18.part -a BACK -t LTL3BA   -v 3
python acacia_plus.py --ltl examples/LTL2DPA/ltl2dpa_19.ltl --part examples/LTL2DPA/ltl2dpa_19.part -a FORWARD -t LTL3BA  -v 3 
python acacia_plus.py --ltl examples/LTL2DPA/ltl2dpa_20.ltl --part examples/LTL2DPA/ltl2dpa_20.part -a BACK -t LTL3BA   -v 3
python acacia_plus.py --ltl examples/LTL2DPA/ltl2dpa_21.ltl --part examples/LTL2DPA/ltl2dpa_21.part -a BACK -t LTL3BA   -v 3
python acacia_plus.py --ltl examples/LTL2DPA/ltl2dpa_22.ltl --part examples/LTL2DPA/ltl2dpa_22.part -a BACK -t LTL3BA   -v 3
python acacia_plus.py --ltl examples/LTL2DPA/ltl2dpa_23.ltl --part examples/LTL2DPA/ltl2dpa_23.part -a BACK -t LTL3BA   -v 3
python acacia_plus.py --ltl examples/LTL2DPA/ltl2dpa_24.ltl --part examples/LTL2DPA/ltl2dpa_24.part -a BACK -t LTL3BA   -v 3

echo "Benchmark: SRA"
python acacia_plus.py --ltl examples/SRA/sra_2.ltl --part examples/SRA/sra_2.part -K 20 -v 3
python acacia_plus.py --ltl examples/SRA/sra_3.ltl --part examples/SRA/sra_3.part -K 20 -v 3
python acacia_plus.py --ltl examples/SRA/sra_4.ltl --part examples/SRA/sra_4.part -K 20 -v 3
python acacia_plus.py --ltl examples/SRA/sra_5.ltl --part examples/SRA/sra_5.part -K 20 -v 3
#python acacia_plus.py --ltl examples/SRA/sra_6.ltl --part examples/SRA/sra_6.part -K 30 -v 3